Alan Smaill: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Rippling: A heuristic for guiding inductive proofs

Alan Bundy, Andrew Stevens, Frank van Harmelen, Andrew Ireland, Alan Smaill

Journal:

Artificial Intelligence

Year:

1993

Language:

english

File:

PDF, 3.11 MB

english, 1993

2

Hierarchical music representation for composition and analysis

Alan Smaill, Geraint Wiggins, Mitch Harris

Journal:

Language Resources and Evaluation

Year:

1993

Language:

english

File:

PDF, 1.03 MB

english, 1993

3

Bridging the Gap Between Argumentation Theory and the Philosophy of Mathematics

Alison Pease, Alan Smaill, Simon Colton, John Lee

Journal:

Foundations of Science

Year:

2009

Language:

english

File:

PDF, 511 KB

english, 2009

4

A Framework for the Evaluation of Music Representation Systems

Geraint Wiggins, Eduardo Miranda, Alan Smaill and Mitch Harris

Journal:

Computer Music Journal

Year:

1993

Language:

english

File:

PDF, 2.31 MB

english, 1993

5

Towards a model of musical interaction and communication

Dave Murray-Rust, Alan Smaill

Journal:

Artificial Intelligence

Year:

2011

Language:

english

File:

PDF, 438 KB

english, 2011

6

[Atlantis Thinking Machines] Computational Creativity Research: Towards Creative Machines Volume 7 || Accounting for Creativity Within a Psychologically Realistic Cognitive Architecture

Besold, Tarek R., Schorlemmer, Marco, Smaill, Alan

Year:

2015

Language:

english

File:

PDF, 242 KB

english, 2015

7

Chorale harmonization: A view from a search control perspective

Phon-Amnuaisuk, Somnuk, Smaill, Alan, Wiggins, Geraint

Journal:

Journal of New Music Research

Year:

2006

Language:

english

File:

PDF, 4.34 MB

english, 2006

8

Coarse soil can enhance the availability of nutrients from fine soil

Smaill, Simeon J., Clinton, Peter W., Allen, Robert B., Leckie, Alan C, Davis, Murray R.

Journal:

Journal of Plant Nutrition and Soil Science

Year:

2014

Language:

english

File:

PDF, 51 KB

english, 2014

9

Synthesis and structure–activity relationships of N-6 substituted analogues of 9-hydroxy-4-phenylpyrrolo[3,4-c]carbazole-1,3(2H,6H)-diones as inhibitors of Wee1 and Chk1 checkpoint kinases

Jeff B. Smaill, Edward N. Baker, R. John Booth, Alexander J. Bridges, James M. Dickson, Ellen M. Dobrusin, Ivan Ivanovic, Alan J. Kraker, Ho H. Lee, Elizabeth A. Lunney, Daniel F. Ortwine, Brian D. Pa

Journal:

European Journal of Medicinal Chemistry

Year:

2008

Language:

english

File:

PDF, 986 KB

english, 2008

10

Investigating the Role of Score Following in Automatic Musical Accompaniment

Jordanous, Anna, Smaill, Alan

Journal:

Journal of New Music Research

Year:

2009

Language:

english

File:

PDF, 513 KB

english, 2009

11

Structure−Activity Relationships for 1-Phenylbenzimidazoles as Selective ATP Site Inhibitors of the Platelet-Derived Growth Factor Receptor

Palmer, Brian D., Smaill, Jeff B., Boyd, Maruta, Boschelli, Diane H., Doherty, Annette M., Hamby, James M., Khatana, Sonya S., Kramer, James B., Kraker, Alan J., Panek, Robert L., Lu, Gina H., Dahring

Journal:

Journal of Medicinal Chemistry

Year:

1998

Language:

english

File:

PDF, 169 KB

english, 1998

12

Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm

Alessandro Armando, Alan Smaill, Ian Green

Journal:

Automated Software Engineering

Year:

1999

Language:

english

File:

PDF, 115 KB

english, 1999

13

Automating the synthesis of decision procedures in a constructive metatheory

Alessandro Armando, Jason Gallagher, Alan Smaill, Alan Bundy

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

1998

Language:

english

File:

PDF, 182 KB

english, 1998

14

[Atlantis Thinking Machines] Computational Creativity Research: Towards Creative Machines Volume 7 ||

Besold, Tarek R., Schorlemmer, Marco, Smaill, Alan

Year:

2015

Language:

english

File:

PDF, 12.26 MB

english, 2015

15

Risks and Benefits of Helicobacter pylori Eradication: Current Status

Hunt, Richard H, Fallone, Carlo, van Zanten, Sander Veldhuyzen, Sherman, Phil, Smaill, Fiona, Thomson, Alan BR, the Canadian Helicobacter Study Group,

Journal:

Canadian journal of gastroenterology

Year:

2002

File:

PDF, 1.20 MB

2002

16

Structure–activity relationships for 2-anilino-6-phenylpyrido[2,3-d]pyrimidin-7(8H)-ones as inhibitors of the cellular checkpoint kinase Wee1

Brian D. Palmer, Jeff B. Smaill, Gordon W. Rewcastle, Ellen M. Dobrusin, Alan Kraker, Charles W. Moore, Randall W. Steinkampf, William A. Denny

Journal:

Bioorganic & Medicinal Chemistry Letters

Year:

2005

Language:

english

File:

PDF, 138 KB

english, 2005

17

[IEEE Simulation (HPCS) - Leipzig, Germany (2009.06.21-2009.06.24)] 2009 International Conference on High Performance Computing & Simulation - Concurrent-distributed programming techniques for SAT using DPLL-stålmarck

Sripriya G,, Bundy, Alan, Smaill, Alan

Year:

2009

Language:

english

File:

PDF, 181 KB

english, 2009

18

Abstract or not abstract? Well, it depends …

Pease, Alison, Smaill, Alan, Guhe, Markus

Journal:

Behavioral and Brain Sciences

Year:

2009

Language:

english

File:

PDF, 1.06 MB

english, 2009

19

Introduction

Cambouropoulos, Emilios, Nelson, Peter, Smaill, Alan, Wiggins, Geraint

Journal:

Journal of New Music Research

Year:

1996

Language:

english

File:

PDF, 103 KB

english, 1996

20

NatureTime: Temporal Granularity in Simulation of Ecosystems

EDJARD MOTA, DAVID ROBERTSON, ALAN SMAILL

Journal:

Journal of Symbolic Computation

Year:

1996

Language:

english

File:

PDF, 759 KB

english, 1996

21

Synthesis and structure–activity relationships of soluble 8-substituted 4-(2-chlorophenyl)-9-hydroxypyrrolo[3,4-c]carbazole-1,3(2H,6H)-diones as inhibitors of the Wee1 and Chk1 checkpoint kinases

Jeff B. Smaill, Ho H. Lee, Brian D. Palmer, Andrew M. Thompson, Christopher J. Squire, Edward N. Baker, R. John Booth, Alan Kraker, Ken Hook, William A. Denny

Journal:

Bioorganic & Medicinal Chemistry Letters

Year:

2008

Language:

english

File:

PDF, 169 KB

english, 2008

22

Effect of stem guying on the incidence of resin pockets

Michael S. Watt, Geoff M. Downes, Trevor Jones, Maria Ottenschlaeger, Alan C. Leckie, Simeon J. Smaill, Mark O. Kimberley, Rod Brownlie

Journal:

Forest Ecology and Management

Year:

2009

Language:

english

File:

PDF, 294 KB

english, 2009

23

A computational account of conceptual blending in basic mathematics

Markus Guhe, Alison Pease, Alan Smaill, Maricarmen Martinez, Martin Schmidt, Helmar Gust, Kai-Uwe Kühnberger, Ulf Krumnack

Journal:

Cognitive Systems Research

Year:

2011

Language:

english

File:

PDF, 920 KB

english, 2011

24

[IEEE 2007 IEEE International Fuzzy Systems Conference - London, UK (2007.07.23-2007.07.26)] 2007 IEEE International Fuzzy Systems Conference - A Fuzzy Action Selection Method for Virtual Agent Navigation in Unknown Virtual Environments

Jaafar, Jafreezal, McKenzie, Eric, Smaill, Alan

Year:

2007

Language:

english

File:

PDF, 2.39 MB

english, 2007

25

[Lecture Notes in Computer Science] Music and Artificial Intelligence Volume 2445 || Recognition of Isolated Musical Patterns Using Hidden Markov Models

Anagnostopoulou, Christina, Ferrand, Miguel, Smaill, Alan

Year:

2002

Language:

english

File:

PDF, 305 KB

english, 2002

26

The Use of Embeddings to Provide a Clean Separation of Term and Annotation for Higher Order Rippling

Louise Abigail Dennis, Ian Green, Alan Smaill

Journal:

Journal of Automated Reasoning

Year:

2011

Language:

english

File:

PDF, 670 KB

english, 2011

27

Recursive Program Optimization through Inductive Synthesis Proof Transformation

Peter Madden, Alan Bundy, Alan Smaill

Journal:

Journal of Automated Reasoning

Year:

1999

Language:

english

File:

PDF, 362 KB

english, 1999

28

4-Phenylpyrrolo[3,4- c ]carbazole-1,3(2 H ,6 H )-dione Inhibitors of the Checkpoint Kinase Wee1. Structure−Activity Relationships for Chromophore Modification and Phenyl Ring Substitution

Palmer, Brian D., Thompson, Andrew M., Booth, R. John, Dobrusin, Ellen M., Kraker, Alan J., Lee, Ho H., Lunney, Elizabeth A., Mitchell, Lorna H., Ortwine, Daniel F., Smaill, Jeff B., Swan, Leesa M., D

Journal:

Journal of Medicinal Chemistry

Year:

2006

Language:

english

File:

PDF, 390 KB

english, 2006

29

Developments in Research on Mathematical Practice and Cognition

Pease, Alison, Guhe, Markus, Smaill, Alan

Journal:

Topics in Cognitive Science

Year:

2013

Language:

english

File:

PDF, 125 KB

english, 2013

30

Canadian Helicobacter Study Group Consensus Conference: Update on the Management of Helicobacter pylori - An Evidence-Based Evaluation of Six Topics Relevant to Clinical Outcomes in Patients Evaluated for H pylori Infection

Hunt, Richard, Fallone, Carlo, Veldhuyzan van Zanten, Sander, Sherman, Phil, Smaill, Fiona, Flook, Nigel, Thomson, Alan

Journal:

Canadian journal of gastroenterology

Year:

2004

File:

PDF, 1.27 MB

2004

31

Etiology of Dyspepsia: Implication for Empiric Therapy

Hunt, Richard H, Fallone, Carlo, van Zanten, Sander Veldhuyzen, Sherman, Phil, Flook, Nigel, Smaill, Fiona, Thomson, Alan BR, the Canadian Helicobacter Study Group,

Journal:

Canadian journal of gastroenterology

Year:

2002

File:

PDF, 1.22 MB

2002

32

New Music in Edinburghby G. Brett; S. Davismoon; S. McGrath; E. Miranda; S. Robinson; G. Wiggins

Review by: Alan Smaill

Journal:

Computer Music Journal

Year:

1993

Language:

english

File:

PDF, 496 KB

english, 1993

33

Structure—Activity Relationships for 2-Anilino-6-phenylpyrido[2,3-d]pyrimidin-7(8H)-ones as Inhibitors of the Cellular Checkpoint Kinase Wee1.

Brian D. Palmer, Jeff B. Smaill, Gordon W. Rewcastle, Ellen M. Dobrusin, Alan Kraker, Charles W. Moore, Randall W. Steinkampf, William A. Denny

Journal:

Year:

2005

File:

PDF, 14 KB

2005

34

[Atlantis Thinking Machines] Computational Creativity Research: Towards Creative Machines Volume 7 || Theorem: General Intelligence Entails Creativity, Assuming $$\ldots $$ …

Besold, Tarek R., Schorlemmer, Marco, Smaill, Alan

Year:

2015

Language:

english

File:

PDF, 211 KB

english, 2015

35

Experiments with proof plans for induction

Alan Bundy, Frank Harmelen, Jane Hesketh, Alan Smaill

Journal:

Journal of Automated Reasoning

Year:

1991

Language:

english

File:

PDF, 1.20 MB

english, 1991

36

Plans, Actions and Dialogues Using Linear Logic

Lucas Dixon, Alan Smaill, Tracy Tsang

Journal:

Journal of Logic, Language and Information

Year:

2009

Language:

english

File:

PDF, 1.28 MB

english, 2009

37

Plantation management induces long-term alterations to bacterial phytohormone production and activity in bulk soil

Simeon J. Smaill, Alan C. Leckie, Peter W. Clinton, Aynsley C. Hickson

Journal:

Applied Soil Ecology

Year:

2010

Language:

english

File:

PDF, 251 KB

english, 2010

38

Canadian Helicobacter Study Group Consensus Conference: Update on the Approach to Helicobacter Pylori Infection in Children and Adolescents – an Evidence-Based Evaluation

Jones, Nicola L, Sherman, Philip, Fallone, Carlo A, Flook, Nigel, Smaill, Fiona, Veldhuyzen van Zanten, Sander, Hunt, Richard, Thomson, Alan, Canadian Helicobacter Study Group,

Journal:

Canadian journal of gastroenterology

Year:

2005

File:

PDF, 1.42 MB

2005

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски